The list processing language, SLPL--an informal outline
نویسندگان
چکیده
منابع مشابه
Morphism: a Symbolic List Processing Language
With the formal study of natural languages, we have obtained some residual results which greatly increase our power of logical manipulation. Coupled with a computer, our language extends enormously the external logic of our computing device. This paper is concerned with a well-defined symbolic list processing language and a set of operators for this language. These operators, which we call morp...
متن کاملHow Language Structures Concepts - An Outline
The Context of this Study For the past three decades, the mainstream of linguistics has focused its research agenda on the formal aspects of language, primarily syntax. By contrast, the more recent tradition of cognitive linguistics centers its research directly within the semantic stratum of language in order to observe how languages organize meaning and structure conception, and it examines t...
متن کاملA Language Engineering Architecture for Processing Informal Mathematical Discourse
We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The obje...
متن کاملPreparing an Outline Before Writing an Article
سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره نوزدهم، آبان 1399، 772-771 تهیه چهارچوب مقاله پیش از نگارش آن Preparing an Outline Before Writing an Article محسن رضائیان[1] M. Rezaeian تا کنون در مجله دانشگاه پیرامون نگارش یک مقاله علمی، موضوعات فراوانی را در قالب سخن سردبیری تقدیم خوانندگان فرهیخته نمودهایم [5-1]. در این سخن سردبیری، قصد داریم به یک نکته...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1976
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/19.1.32